Yhteenveto: Mikä on RISC-V: n käyttäjätason ISA: n lopullinen viite- tai viitetoteutus? Konteksti: RISC-V-verkkosivustolla on "The RISC-V Instruction Set Manual", joka selittää käyttäjätason ohjeet erittäin hyvin, mutta ei anna tarkkaa määritystä niille. Yritän rakentaa käyttäjätason ISA-simulaattoria nyt ja aion kirjoittaa FPGA-toteutuksen myöhemmin, joten tarkka käytös on minulle tärkeä. Viitetoteutus riittäisi, mutta sen tulisi mieluiten olla mahdollisimman yksinkertainen - ts. Yritän ymmärtää putkijohtoisen toteutuksen vain viimeisenä keinona. Tärkeää on ymmärtää määritetty ISA eikä yksi CPU-toteutus tai kääntäjän toteutus. Yksi esimerkki ongelmani on AUIPC-käsky: Proosaselityksessä sanotaan, että "AUIPC muodostaa 32-bittisen siirtymän 20-bittisestä U-välittömästä, täyttäen alimmat 12 bittiä nollilla, lisää tämän siirtymän tietokoneeseen, sitten sijoittaa tuloksen rekisteriin. " Halusin tietää, viittaako tämä vanhaan vai uuteen tietokoneeseen, ts. AUIPC-käskyn sijaintiin vai seuraavaan ohjeeseen. Katsoin "RISCV Angel" -toteutusta, mutta se näyttää peittävän (vanhan) PC: n alemmat bitit - ei vain välittömän - mihin en löytänyt mitään syytä teknisissä tiedoissa, ei edes muuta spec-historiaa (koska Angel on vähän vanhempi). Minulla on nyt vastauksen sijaan kaksi kysymystä AUIPC: stä. Monet muut ohjeet aiheuttavat samanlaisia ongelmia minulle.
2021-01-16 08:15:55
AFAICT mainitsemasi RISC-V-käyttöohjekirja on lähinnä lopullista viittausta. Jos siellä on asioita, jotka ovat epäselviä tai virheellisiä, voit avata kysymyksiä Github-sivustolla, jossa kyseistä asiakirjaa ylläpidetään: https://github.com/riscv/riscv-isa-manual
AIUPC: n osalta vastaus on epäselvä, mutta sitä ei mainita nimenomaisesti tällä lauseella tämän käyttöoppaan sivun 9 alaosassa:
On yksi ylimääräinen käyttäjärekisteri: ohjelmalaskuri sisältää nykyisen käskyn osoitteen.
Tämän lausunnon perusteella odotan, että AIUPC-käskyn näkemä ja käsittelemä pc-arvo on itse AIUPC-käskyn osoite.
Tätä tulkintaa tukee keskustelu JALR-ohjeesta:
Epäsuora hyppykäsky JALR (hyppy- ja linkkirekisteri) käyttää I-tyyppistä koodausta. Kohdeosoite saadaan lisäämällä 12-bittinen allekirjoitettu I-välitön rekisteriin rs1 ja asettamalla sitten tuloksen vähiten signanttibitti nollaksi. Hyppää seuraavan käskyn osoite (pc + 4) kirjoitetaan rekisterin rekisteröimiseksi.
Ottaen huomioon, että seuraavan käskyn osoite ilmaistaan pc + 4: nä, näyttää selvältä, että JALR: n suorituksen aikana näkyvä pc-arvo on itse JALR-käskyn osoite.
Käsikirjan viimeisin luonnos (osoitteessa https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) tekee tilanteesta hieman selkeämmän. Tämän sijasta nykyisessä käsikirjassa:
AUIPC liittää 12 matalan kertaluvun nollabittiä 20-bittiseen U-välittömään, sign-laajentaa tuloksen 64 bittiin, lisää sitten sen tietokoneeseen ja sijoittaa tuloksen rekisteriin.
viimeisimmässä luonnoksessa sanotaan:
AUIPC muodostaa 32-bittisen siirtymän 20-bittisestä U-välittömästä, täyttäen alimmat 12 bittiä nollilla, lisää tämän siirtymän AUIPC-käskyn tietokoneeseen ja sijoittaa tuloksen sitten rekisteriin.
|
Vastauksesi
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("katkelmat", function () {
StackExchange.snippets.init ();
});
});
}, "koodinpätkät");
StackExchange.ready (function () {
var channelOptions = {
tunnisteet: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Sinun on käynnistettävä editori katkelmien jälkeen, jos katkelmat ovat käytössä
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("katkelmat", function () {
createEditor ();
});
}
muu {
createEditor ();
}
});
funktio createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: väärä,
heartbeatType: 'vastaus',
autoActivateHeartbeat: epätosi,
convertImagesToLinks: true,
noModals: totta,
showLowRepImageUploadWarning: tosi,
maineToPostImages: 10,
bindNavPrevention: tosi,
postfix: "",
imageUploader: {
brandingHtml: "Palvelun tarjoaa \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.7256 4.7506 4.916 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 14.44.44 14.44 144 144 144 144 044 144 044 144 044 144 044 144 044 144 044 144 044 144 044 144 044 144 0 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 141 141 144 14 14 14 14 14 14 14 14 14 14 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.5455C35 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9950 4 419 4 269 4 269 4 269 4 4 492 4 4 492 4 4 492 4 4 492 435 4 435 4 432 435 4 435 4 435 4 432 435 4 432 435 4 432 435 4 432 435 4 439 435 4 432 4 9 495 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C4.1.1 212.21 212.21 312 212 213 241 282 301 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.633524 72424 724243 724247 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879 .0006. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u003e \ u003cath d = \" M3.31675 6.59049C3.31675 5.28821 2.83866 4.66232 1.82471 4.66232 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.8201. 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z täyttö = # 1BB76E / \ u003e \ u003c / s ,
contentPolicyHtml: "Käyttäjän käyttöoikeudet lisensoitu \ u003ca href =" https: //stackoverflow.com/help/licensing "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href =" https://stackoverflow.com / legal / content-policy \ "\ u003e (sisältökäytäntö) \ u003c / a \ u003e",
allowUrls: totta
},
onDemand: totta,
discardSelector: ".discard-answer"
, välittömästiShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Kiitos osallistumisesta vastausta pinon ylivuodon!
Muista vastata kysymykseen. Anna yksityiskohdat ja jaa tutkimuksesi!
Mutta vältä…
Pyydä apua, selvennystä tai vastaamista muihin vastauksiin.
Lausuntojen tekeminen mielipiteen perusteella; Varmuuskopioi ne viitteillä tai henkilökohtaisella kokemuksella.
Jos haluat lisätietoja, katso vinkit hyvien vastausten kirjoittamiseen.
Luonnos tallennettu
Luonnos hylätty
Rekisteröidy tai kirjaudu sisään
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Rekisteröidy Google
Rekisteröidy Facebookilla
Rekisteröidy sähköpostilla ja salasanalla
Lähetä
Lähetä vieras
Nimi
Sähköposti
Pakollinen, mutta ei koskaan näytetty
StackExchange.ready (
funktio () {
StackExchange.openid.initPostLogin ('. Uusi-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f55314747% 2frisc-v-user-tason viite-tai-reference-toteutuksen% 23new-vastaus' , 'kysymyssivu');
}
);
Lähetä vieras
Nimi
Sähköposti
Pakollinen, mutta ei koskaan näytetty
Lähetä vastauksesi
Hylkää
Klikkaamalla "Lähetä vastauksesi" hyväksyt käyttöehdot, tietosuojakäytännön ja evästekäytännön
Eikö vastausta etsit? Selaa muita kysymyksiä, jotka on merkitty riscv: llä, tai kysy oma kysymyksesi.